Советский философский словарь - доказательство от противного
Связанные словари
Доказательство от противного
доказательство от противного
(лат. reductio ad absurdum), вид доказательства, при к-ром «доказывание» нек-рого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с к.-л. заведомо истинным суждением. Этой форме Д. от п. соответствует след. схема доказательства: если В истинно и из А следует ложность В, то А ложно. Другая, более общая форма Д. от п. это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив А, вывели противоречие, следовательно неА. Здесь А может быть как утвердительным, так и отрицательным суждением. В последнем случае Д. от п. опирается на двузначности принцип и закон двойного отрицания. Помимо указанных выше, существует «парадоксальная» форма Д. от п., применявшаяся уже в «Началах» Евклида: суждение А можно считать доказанным, если удастся показать, что А следует даже из допущения ложности А.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(лат. reductio ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем установления его несовместимости с заведомо истинным суждением. Часто доказательство от противного опирается на двузначности принцип. ...Философский энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1739 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 758 | |
11 | 750 | |
12 | 733 | |
13 | 701 | |
14 | 701 | |
15 | 699 | |
16 | 683 | |
17 | 680 | |
18 | 655 | |
19 | 650 | |
20 | 631 |